Isolation, not locality
نویسندگان
چکیده
منابع مشابه
Snapshot Isolation Does Not Scale Either
Transactional memory (TM) [11, 15] allows concurrent processes to execute operations on data items within atomic blocks of instructions, called transactions. A transaction may either commit in which case all its updates become visible to other transactions, or abort in which case all its updates are discarded. The paradigm is appealing for its simplicity but implementing it efficiently is chall...
متن کاملLocality Sim: Cloud Simulator with Data Locality
Cloud Computing (CC) is a model for enabling on-demand access to a shared pool of configurable computing resources. Testing and evaluating the performance of the cloud environment for allocating, provisioning, scheduling, and data allocation policy have great attention to be achieved. Therefore, using cloud simulator would save time and money, and provide a flexible environment to evaluate new ...
متن کاملLocality Refinement
We study refinement in the setting of local reasoning. In particular, we explore general translations that preserve and that break locality.
متن کاملQuantum Locality
Robert Griffiths has recently addressed, within the framework of a ‘consistent quantum theory’ that he has developed, the issue of whether, as is often claimed, quantum mechanics entails a need for faster-than-light transfers of information over long distances. He argues that the putative proofs of this property that involve hidden variables include in their premises some essentially classical-...
متن کاملDelayed Tree-Locality, Set-locality, and Clitic Climbing
Since Bleam's (2000) initial claim that capturing clitic climbing patterns in Romance requires the descriptive power of set-local MCTAG (Weir, 1988), alternative approaches to relaxing tree-locality restrictions have been developed, including delayed tree-local MCTAG (Chiang and Scheffler, 2008), which, unlike set-local MCTAG, is weakly equivalent to standard TAG. This paper compares 2-delayed ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Philosophy and Phenomenological Research
سال: 2020
ISSN: 0031-8205,1933-1592
DOI: 10.1111/phpr.12731